\begin{tabbing}
ecl{-}machine\=\{\$ecl:ut2\}\+
\\[0ex]($i$; ${\it ds}$; ${\it da}$; $A$; ${\it snd}$; ${\it upd}$)
\-\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$Rplus(\=ecl{-}machine1\=\{\$ecl:ut2\}\+\+
\\[0ex]($i$; ${\it ds}$; ${\it da}$; $A$);
\-\\[0ex]spreadn(\=ecl{-}trans($A$);\+
\\[0ex]$T$,${\it ks}$,${\it init}$,${\it tr}$,$h$,$a$,${\it es}$.Rplus(\=ecl{-}machine2(\=$i$;\+\+
\\[0ex]${\it ds}$;
\\[0ex]${\it da}$;
\\[0ex]mkid\{\$ecl:ut2\};
\\[0ex]$T$;
\\[0ex]${\it ks}$;
\\[0ex]$a$;
\\[0ex]${\it upd}$);
\-\\[0ex]ecl{-}machine3(\=${\it ds}$;\+
\\[0ex]${\it da}$;
\\[0ex]mkid\{\$ecl:ut2\};
\\[0ex]$T$;
\\[0ex]${\it ks}$;
\\[0ex]$a$;
\\[0ex]${\it snd}$))))
\-\-\-\-
\end{tabbing}